Prolac--a language for protocol compilation

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1998.Includes bibliographical references (p. 81-83).by Eddie Kohler.M.S